perm filename CMTT12.360[360,GF]3 blob sn#866854 filedate 1988-12-16 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&"p_MG#λ_
ε4  FCB ∩α`E β∃e β∀`0⊂↓T`0⊂↓T`0⊂↓T`0⊂↓T`0⊂↓T@@⊂α∀@@⊂α∀@@⊂α∀@0 ↓T @ α∀ @ α∀ @ α∀ @ α∀ 00↓T@0α∀@0α∀@0α∀@0α∪`@@α∪b∧xλ∪b∧xααDpαα@Dpαα@Dpαα@Dpαα@DhαβDhαβDhαβDP¬↓A$P¬↓A$P¬↓A$("⊂C1`∩	⊃⊂%¬)1('↓↓ ('↓↓0('↓↓@ '↓↓@('↓↓P '↓↓P '↓↓P '↓↓P '↓↓P '↓↓@ '↓↓@ '↓↓0 '↓↓⊂0'∧Ia'∧I` ¬↓I` ε↓)` εA	` π↓	` π↓	` πA	` πA	` πA	` πA	` πA	` π↓)` π↓	` εA)` ε↓)` ¬↓i18%¬I1_"Qλ1P∞	∧@Xβ↓@5_¬@`5λπ EαAA∀xαB tpαB`dhαC Thαβ@T`α∧D`α∧DXα∧ DXα∧ DXα∩`4Pα∩@DPα∩@DPα∩@DPα∩@DPα∩`4Xα∩`DXα∧ D`α∧D`α∧Dhαβ`DhαC DpαB`TxαB UαA@eλπTa5(βQ(D 
G∧B D	!_%E	` ∧↓I` ¬↓)` ¬A	` ¬A)` ε↓)` εA	` εA	` π↓	` π↓	` π↓	` π↓)` πA	` πA	` πA	` πA	` πA	` πA	` πA	` πA	` πA	` πA	` π↓	` π↓	` π↓	` εA)` εA	` ε↓)` ε↓	` ¬A	` ¬↓)` ∧↓I1 %¬	1"QλQX∞I∧@RC∀PS@@hα∪@@hα∪@@hα∪@@hα∪@@hα∪@Dpα∪@Dpα∪@Dpα↓`Dpα↓`Dpα↓`DpπSAtpπS@@8α∪@@8α∪@@8α∪@Dpα∪@Dpα∪@Dpα∪@@xα∪@@xα∪@@xα∪@@xα∪@@xα∪@@xα∩C4P
RC4("⊃C!`∩	↓P%εI!P'↓↓` '↓↓` '↓↓` '↓↓` '↓↓` '↓	` '↓	` '↓	` '↓p '↓p '↓p 'βi`x'βi` βA	` βA	` βA	` '↓	` '↓	` '↓	` '↓	` '↓	` %β) h%β(T #FcR ∩α@`(↓TA _↓T"∀xαAA∧xααtpαα@dhαβThαβT`αβ@D`αβ@DXαβ`DXαβ`DXα∩@DPα∩@DPα∩@DPα∩@DPαβ↓$PααaDPαβ↓$Pα∧DXαβ`DXαβ`DXαβ`D`αβ T`αβ ThαβThαα`dpαα@dxααtxαAA¬λε E⊂¬@E β↓D("∩βAh∩	⊂PβαI `αβ	0PβαI` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	a '¬	a '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ %B@`P%β@`%B@`P"Q	⊃ I∧@
∩BDP
∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@DP
∩BDP
⊃(DPFdB ∧βj x)βk⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ &!@ %@a0 %↓!  %↓!⊂ %↓!⊂ %A `(&βIP`(↓hT %FcB ∩! 0¬∩A@ ¬Ra 0¬∪@@XαS@@PαS@@Pα∪@@HαS@@@αS@@8αS@@8α∪@@0αS@@(αS@@(α∪@@ α∪@@_αS@@⊂αS@@⊂β∪@@λβSATp∧ Dpβ@@Tpβ@`Dpβ↓TpαA@Dpα↓`TpααDpααTpαα Dpαα Tpαα@Dpαα@Tpαα`Dpαα`TpαβDX¬↓a∀Pε↓!$X¬↓a∀("∪β!`∩	h%βI h'↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` π↓	` π↓	` π↓	` π↓	` π↓	` π↓	!P%εI!P"Q	Q`∞I∧@∧BA∀P∧BA∀P¬α↓$hβBthα  @↓ Dhα 00↓@ Dhα 00↓@ Dhα 00↓@ Dhα 00↓@ Dhα @ α Dhα@0 ↓@@Dhα@0 ↓@@Dhα@0 ↓@@Dhα@@⊂α@Dhα@@⊂α@Dhα@@⊂α@Dhα`0⊂↓@`Dhα`0⊂↓@`Dhα`0⊂↓@`Dhα`0⊂↓@`Dhα↓ ⊂↓↓Dhα↓` α∪ @ β↓Dhα↓ @(α∪ @(α↓ Dhαβ@Dhαβ@Dhαβ@Dhαβ@Dhαβ@Dhαβ@Dhαβ@Dhαβ@Dhαβ@DP¬α↓$P¬α↓$P¬α↓$("∪CAh∩	⊂HβBI Pββ	0PβαI`8∧A	` @A⊂ '↓⊂_∧↓	` @a '↓⊂_∧↓	` ↓`p '↓ _βA	` ↓`p '↓  β↓	` ↓@`` '↓0_β↓	` ↓AP '↓0 αA	` α`P '↓@ α↓	` α↓@ '↓@ α↓	` α@`@ '↓P ↓A	` αA0 '↓`_↓A	` β`0 '↓` ↓↓	` β@`  '↓p_↓↓	` β@`  '↓↓_A	` ∧`⊂ '↓↓_A	` ∧@@⊂ '↓↓⊂8%B@`8%β`0%B@p0"Q	q@
I∧@0ε∪"$`
∪`@β∩`P`αR`@pα∩`@pα∩`@pα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩`@pα∩`@pα∩`@pα∩`P`αS`@β∪αDh	∀↓D("∀β⊃X∩	↓⊂%¬	!('↓↓0'↓↓ ('↓↓0('↓↓@ '↓↓@('↓↓P '↓↓P '↓↓P '↓↓P '↓↓P '↓↓@('↓↓@ '↓↓0('↓↓ ('↓↓0'∧)a'βI` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` %β	 `%βλT (Fβ2`∩↓ADh	∪αD`βαdXαCTXαβ@DXαβ@DXαβ@DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα↓`00α∩@@8α↓ DXα↓@@ α∩`@8α`DXα↓`P⊂α∩`P8α T`β↓!∀`
∪"%εV UPα⊗@UXαV`U`αWUhα⊃(E⊂∞GDB Ci!_%Di` βAI` ∧A)` ¬↓)` ¬A	` ¬A)` ε↓	` ε↓	` ε↓	` ε↓	` ¬A)` ¬A	` ¬↓)` ∧A)` βAIa'βi`x'↓p('↓↓⊂ '↓↓⊂ '↓↓  '↓↓  '↓↓  '↓↓  '↓↓  '↓↓  '↓↓  '↓↓  ↓A	` ¬↓0 '↓↓  ↓A	` ¬A _%BAH%β↓8%BA0 "Q
1@
I∧@8βA 4xε@4p	∪`0∧∪@Pβ∩`@`αR`0hαR@@pα∩@@pα∩@@pα∩@@pα∩@DXα∩`T`αS↓∀hε∪aUλεU!%HβV`U`αW Epα↔@DX↓DDPα∧DPα∧DPα∧DPαC@DPαC@DPβB`DP∧A`TP
∩@0_εR@0(∧Q(E 
π∧B F)!P%εI  βAp %↓p βA	  βAp %↓p βA	  βAp *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P (βJp(βHT *GβR ∩↓@ ε∩A@ ε∩A@ ε∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪`0`↓S`@Pα∪`@Pα∀@@α∀P0αT P αTAE_¬∃ d("∃CAh∩	⊂H∧α) Xβαi0H∧α)P π↓	P(ε↓)` ε↓	` ε↓	` ε↓	`(¬↓)p ¬↓	p ¬↓	p ¬↓	p(∧↓* ∧↓
 ∧↓
 ∧↓
 ∧↓
⊂ β↓
⊂ β↓
⊂ β↓
⊂ β↓
  α↓
  α↓
  α↓
  α↓
0_αj0 ↓↓
0 ↓↓
0 ↓↓
@_↓j@_↓j@_↓j@_↓jP0*AJP0+↓λT +GβR ∩↓⊂P∧RA @¬∩A⊂P∧SAα∪Aα∪Aα∪Aα∪Aα∪Aα∪ @pα∪ @pα∪ @pα∪ @pα∪ @pα∪ @pα∪ @(α↓ Dhα↓` α∪@0 β↓4p↓A` ↓S@@⊂↓@@0⊂α∪@@⊂↓@@0⊂α∪@@⊂↓@@0⊂α∪@@⊂↓@@0⊂α∪@@⊂↓@@0⊂α∪@@⊂↓@@0⊂α∪@@⊂↓@@0⊂α∪`0⊂↓@@0⊂↓S`0λα@@λ↓S`0λ↓A0λ↓S`0λ↓A0λ↓S`0λ↓A0λ↓S`0λ↓A0λ↓S`0λ↓A0λ↓S``0β∀P0αTP0αT@@α⊃(E@∞π$B ↓α PH%B`0X&α PH'A↓⊂ 'A p((↓p (↓ P((AP (A @ )↓0 )↓   )A⊂ )B*@8*↓jP(*A*` *A*P0*↓j@@)A⊂ )A  )↓0 )↓@ (AP (A` (↓ ` (↓↓ 'A! 'A↓⊂('A↓  '↓↓0(%B@`P%α``X%B@`P"Q⊃`∞I∧@¬α↓$P¬AA4P¬α↓$pαβDpαβDpαB@Txαα@DxαBUααEαA@Uλα↓@Eλα↓@E⊂α↓E⊂α↓E_α@E_α@E_α@E ↓@@5 ∧∃ e(β∃@E0α∃@E0α∃@E0α∃@E0α∃@E0α∃@E0α∃@E_¬∀AE_¬⊃(EPεdB Ei!@%ε	  πA	  π↓)  π↓	  εA	  εA  ,A+⊂ ,↓ +A
`(+↓
P *A
@ )A
0 )↓
⊂((A
 (↓	p '↓)` ε↓	P εA	P εA	@ π↓	0(π↓	0 πA	!@%ε	!@"Q⊃X∂ε#⊂(∧S!T`λ∪P8αSP@αS 0Pα⊗`EXα⊗`EXα∃↓5λπ∪b∧h∧↓@D`αB@DXαB`DXαβDPαβ DPαβ DPαβ DPαβ DXαα`TXβ↓`t`SA@⊂∧T↓0βQ(F⊂
G∧B B	 H%B	p 'A	p 'A	p 'A	p 'A	p α↓)p ↓αIqλ'BP('AA⊂ 'A!0 'A!0 'A↓P 'A↓P 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓P 'A!@ 'A!0 'AA⊂('AA('BP('D)p ↓α*_↓AHT 1E#!HB!∃λεSb∧pαA`ThαBT`αB@4`α∩`DXα∩@DPα∩@DPα∩@DPα∩@DPα∩`DXα∪@Xα∪PPα∪ P@αS@P0αSaeλ¬T`t("→β1h∩	↓`@+B+@.↓@ .↓@ .↓@ .↓@ )A@0 (B@⊂ 'D)`(β↓iP(∧↓I@(¬↓)@ ¬A)0 εA	0 εA	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	0 εA	0 ε↓)@ ¬A)@ ¬↓IP ∧↓i`(αB	p`B
P↓α*0(ααλT 2Ec!HB uλ¬Sadpβ↓ ThαB D`αB@D`αβDXαβ DXαβ@DX↓C`DPαβ`DPRBtPR@DPα∩`DXα∩`D`αβ DhαβDhαB@Tpβ↓`UπT!U βQ(F0F$B π↓J`P*C
@(↓A*@ α↓*0 βj0 )A
0 )A
0 %E)!0%¬J0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A	1 %E	1 "QqX∞Ic⊂HαA@Uλ∧@A∧x∪@P(β`DhαA`P_↓S @Hα∪@Xα∪@Xα∪@Xα∪@Xα∪@Xα∪@Xα∪ @Hα∪ P8αS@P(αS!th↓@!∀h↓@`T`α∪Dh↓S Dhλ∪B∀p	S"T`αβtXαβ`TXα∧TPα∧@DPα∧@DPα∧@DPα∧@DXα∧DXα∧D`αCThβαdp	∀↓e_∧⊃(F@∞π$B B	 H%B	p 'A	p 'A	p 'A	p 'A	p α↓Ip ↓α)p Bip@αA	p8β@ip0∧↓	p(∧A	p(∧A	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	0`ααI p↓β	0`ααHT 4E#"(∩B 5⊂αT@U⊂αT`48β@!DPεRaE_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`DP
RBTP
Q(FP	¬&"(πjp(+A*p(,hp8αC)`p'C+ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ &!  %@a⊂ %↓ p %↓ `(%CI0`&BλT 5GβR ∩↓∀P∧RA∀xα∪`Dxα∪`Dxα∪`Dxα∪`Dxα↓↓dxαatxα↓↓dxααdxα↓`dxα↓@dxα↓ dxα↓dxα`dxα@dxα dx¬SaDxεS`p⊂α∪``_αS`P(αS`@8α∪`@8αS`@@αS`@Hα∪`@Pα∪`@PαRAP ¬RA`⊂ε∩AP ¬Q(F`εdB C) p%C*@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ %EI!@%EHT 6GCaH@p_α↓@DPβ@ p_βRBλ∧S p⊂∧@Dhβ↓` α∪ P(αA DhαA P(α∪ @0α↓@Dhα↓@@0α∪ @0α↓@Dhα↓@@0α∪ @0α↓@Dhα↓@@0α∪ @0α↓@Dhα↓@@0α∪ @0α↓@Dhα↓@@0α∪ @0α↓@Dhα↓@@0α∪ @0α↓@Dhα↓@@0α∪ @0α↓@Dhα↓@@0α∩A _β@`tP¬A⊂∧∩A _β@`t("≠CAhF ⊂@α↓I H↓α)0@Bip@αA	p8β@ip0∧↓	p(∧A	p(∧A	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	p ¬↓	0`ααI p↓β	0`ααHT 7EC!HBe¬∪aDhβ↓dhααD`αα@DXαB@TXαβDXαβDPαβ@DPαβ@DPαβ@DPαβ@DPαβ@DPαβ@DPαβ@DPαCTXαβDXαβDXαB@T`αα@DhααDhβ↓dxε∀↓%⊂β⊃(G
G∧aHB@(%α  P%E)p@αA)p0∧A	p(¬A	p(¬A	p εA	p εA	p π↓	p π↓	p π↓	p π↓	p π↓	p π↓	p π↓	p π↓	p εA	p(ε↓	p(¬A	p0∧A)p0∧↓)p@αA)qλ'A H'A00'A	p 'A	p 'A	p 'A	p 'A	p %C	 p%CλT 8G#r0B@` α∀!0⊂α∀↓Pλα∪@`0∧∪ PHβS @Xβ∪@hαR`@pαR`@xα∩`1α∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩`1α∩`@xα∩`@pαS@hαSPXβ∪ PHβS@`(∧Sa`λα∀! _α∀``(α↔@Epα↔@Epα↔@Epα↔@Epα↔@Epα⊗!eHπ⊗!d("≤C!`F ⊂Pβ↓I XααI0P↓β*⊂ A @((B`((Aa_(AJ⊂0(A*⊂((A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	1⊂%¬	1⊂"Q∞10
ε#⊂0∧`4pλ∪α$XαBdX↓B`TP↓C DP↓C DP↓C DPαβDXαS↓∀hεSaU⊂ε⊗uXα∩`0pα∩@@x↓R@@x↓R@Pp↓R@Pp↓R@``↓RA@α∩BDP↓@ATP↓A↓∧("≥β⊃P⊂λ↓⊂_)↓
  )↓
  )↓
  %EI!8%¬j  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓↓⊂ )↓↓⊂ )↓↓⊂ )↓↓⊂ )↓↓⊂ )↓↓ )A P(*β*PX+AhT :GβQH@!0∧∩A⊂(∧Ra0∧∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@Pα∪`@HαS`@@β∀@0βTαUλ¬@!∃_β@a∧("≥CAhF ⊂Xααi `αβ	0Xααi` ε↓	p ¬↓	p ¬↓	p ¬↓
 ∧↓
 ∧↓
 ∧↓
(β↓*⊂ β↓
⊂ β↓
⊂ β↓
  α↓
  α↓
  α↓
0 ↓↓
0 ↓↓
0 ↓↓
@_↓j@_↓j@@*α
P0*AHT ;GβQH@↓@ ε∩A@ ε∩A@ ε∪ @pα∪ @pα∪ @pα∪ @pα∪ P`αS@@`α∪@@`α∪@@ α↓Dpα↓@ α∪@@ α↓Dx↓@``_↓S`@⊂↓ 0⊂α∪`@⊂↓ 0⊂α∪`@⊂↓ 0⊂α∪`@λ↓@ @λα∪`@λ↓@ @λα∀0λ↓`0λ↓T0λ↓`0λ↓T0λ↓`0λ↓T`_βT` β∀P(β∀ @(αQ(G@∞π#⊃HB`0X%C `%B`0X'A! (↓ ` (AP()↓0()↓   )BJ@@*↓jP0+↓
P(*AJ@@)A  )↓   )↓@ (AP((↓ `((↓↓ 'A↓⊂(%B`@X%β  h%B`@X"Q∂⊃`∞IC⊂λ¬A↓4Pε@aDX¬A↓4pαB`Dxαα@Dxαα@Eαα EααEααEλα↓`Eλα↓@Uλα↓@E⊂α↓ E⊂α↓ E⊂α↓E_α`E_α`E_α`5 ↓@@E α E(↓@ 5(↓@ 5(βU@e0αU@U0αU@E0α∃ U(α∃ D`↓A TXαADXα@`TXα@@TX¬S↓∀pαQ(GPFc⊃H↓¬i1@%F	0 π↓)0 εA)0 ε↓)0 ¬A+⊂(,↓*p(+A
` *A
@ )A
  (A*('A)`(ε↓	P(εA	@(π↓	0(πA	!H%ε)!H"Q↓P∞	∧@
∩C$P
∪@@pα∪@@pα∪@@pα∪@@pα∪@@pα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∩ATPπ∩AT("#!`∩	↓0 *↓J@0)B
0_↓j0_↓j0_↓j  ↓↓
  ↓↓
 _αj⊂ α↓
⊂ α↓
⊂ α↓
 β↓
 β↓
 β↓
 β↓	p ∧↓	p ∧↓	p ∧↓	`(∧↓)` ¬↓	` ¬↓	` ¬↓	P ε↓	P ε↓	P ε↓	@(ε↓)@ π↓	@ π↓	0(π↓)0 λ↓	0 λ↓	1@%εI!P%εHT ↓εβ2 ∩↓ADh	∪αD`βαdXαCTXαβ@DXαβ@DXαβ@DPα∧DPα∧DPα∧DPα∧DPα∧DPα∧DPα↓  ↓↓DPα`@⊂α`DPαa _α∩@@_¬`DPαa _α∩@@_¬`DPαa _α∩@@_α@@_α∩@@ ↓↓  α∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩@Aα∩`@pα∩`@pα∩`@pα∩`P`αS`@β∪αDh	∀↓D("c!`∩	↓0 *↓J@0*↓J0_↓j0_↓j0_↓j0_↓j  ↓↓
  ↓↓
  ↓↓
  ↓↓
 _αj⊂ α↓
⊂ α↓
⊂ α↓
⊂ α↓
 β↓
 β↓
 β↓
 β↓
 β↓	p ∧↓	p ∧↓	p ∧↓	p ∧↓	`(∧↓)` ¬↓	` ¬↓	` ¬↓	` ¬↓	P ε↓	P ε↓	P ε↓	 PβαI Xααi PβαHT αεCB ∩#∀P
∩C$Pα∧@DPα∧@D8∧A@Pα∪@@Pα∪B$p	∪B$pαα@Dpαα@D8¬A⊂α∩@A⊂α∩@A⊂α∩C$P
∩c∀("↓#Ah∩	⊃P%π	1P'↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ %B@`P%β@`%B@`P"QaP∞	∧@λRC$P
∩`Aλα∪Aα∪Aα∪ @xα∪ @xα∪@DpαS`DxαTEαT E⊂α∀@E_α∀`E_α∀@E⊂α∀ EαTDxαS`DpαS@Dhαβ`Dhαβ`D`α∧D`α∧DXα∧ DXRC$XQ(@8
π∧B α↓!(&A``8&α @H%A0 ↓↓0 %A@_↓`@ %↓`⊂↓@` %↓`0β↓	  β↓@` %↓p βA
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P (C
⊂`(CλT ∧εCB ∩↓aEπ∀!E(α∃ E(α∃ E(α∃ E_∧∀↓dp	∪ pλα t`αA@ αR`P(α↓ TXα↓@@0α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓`DXα↓@@0α∩`P(α↓ T`αA@ αS pλα tp	∀↓e_∧∃ E(α∃ E(α∃ E(α∀!Eπ∀!D("α#!`∩	p`(C
⊂`*A
P *A
P %@`p βA	 (β↓`(%↓@P αAI@ αAP &A@ α↓	P α↓@ &A@ α↓	P α↓@ &A@ α↓	P α↓@ &A@ α↓	P α↓@ &A@ α↓	` ↓A0 '↓0 ↓A	p ↓↓  'A  ↓↓
p(C
 P*↓JP *A
P *A
P *A
⊂`(C
⊂`"Q↓!P∞	∧@Pβ∀!Dxλ∪@`0β∪ PPαSP`αS@pα∩`Aα∩`Aα∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩`1⊂↓R`Aα∩`Aα∪1↓S@pα∪@pα∪ 0p↓S @`α∪@0`↓S@@Pα∪`0P↓S`0P↓T0@↓T0@↓T0@↓R@@⊂α↓@@⊂α∩@@_↓A@0_α∩@@_↓A@0_α∩A 0¬∩A 0¬∩a⊂8∧Q(CεdB ∧AJ⊂P(β	p(α↓)` ∧↓	P(∧↓)P ¬↓	@ ε↓	@ ε↓	0 π↓	0 π↓	0 π↓	0_λi  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	0 π↓	0 π↓	0 π↓	0(ε↓)@ ε↓	@ ε↓	P ¬↓	P(∧↓)`(β↓)p(α↓*`(BJ00"Qε⊃ 
	∧@H↓T`5⊂α∀@EλαTdxβRa4Pβ@ DPα@`E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@DX	∩BDX	⊃(C⊂εdB ∧↓j`'∧	P(βAI@(¬↓)0 εA	0 π↓	  πA	  λ↓	 (πA	 (πA	0_λ↓` /↓P .AP .↓0 -↓+⊂(,↓*p(+↓*P(*↓*0()↓*⊂((↓	p '↓↓@ &A↓P &↓↓` %Ei!@%EhT →Fβ2 ∩↓a∀xεS"∀`β↓`d`αα`TXαCDXαC DXαC D`↓C@Ehα↔ E`α↔EXα⊗@U@β∀!5λ¬T!UHβ⊗`U`α↔ Ehα↔@Epα∩`1α∩@Pxα∩@Pxα∩@Ppα∩@@xα∩`@hα∩`PXαS`8β∪"∀xεTA∧("
β!`∩	↓`0,↓Jp8+`⊂ +`⊂ *@`  *↓  *`0 )A0 )↓@ )↓@ (AP (@`` (↓` 'Ap 'Ap '↓↓ &A↓⊂ &A↓⊂ &↓↓  &↓↓  %A↓0 %↓↓@ %εI!P%εK  -↓  -↓  -↓  -↓
Pp*∧
Pp"QεQ@
I∧@_	SαD`
∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α`t`λ∪α$`βA`T`αα`Th↓β Ehα↔ Epα↔@Epα∪⊃λα∩@Pxα∩@Pxα∩@Px↓R@@xα∩`@hαR`@hα∪@PαS`0β∪Atxε∀@t("
C↓X∩	↓@8*αj p(A ` 'A!⊂ 'A↓⊂('↓↓ (&A↓@_&A	@ &↓	0 %A	0 %↓P8%↓0X%↓⊂p%α `0%↓a (%↓A@ %↓!` %↓!` %↓!p %↓!p %↓!p %A↓p %A↓p %A↓p %A↓p &↓↓P &↓↓P &A↓0 '↓↓⊂ '↓ `('CJ⊂X)AhT ≠Fβ2(∩@DP∩C∧P∩@@pαR@@pα∩@@hα⊗@EHα⊗ E@α⊗E8α∃`50α∃@5(α∃ E α∃E ↓T`E_α∀`E⊂α∀@E⊂α∀@E⊂α∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀@$("∞β↓X∩	↓@'CIa&A@`0&↓! (%A!@(%A↓` %↓α %↓α %↓α %↓α %↓!`(%A↓` &↓↓@ &A!('↓` 8(β
⊂P'CIP(∧↓)@(¬↓)@ ε↓	0 π↓	 (π↓)  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	0 π↓	0 π↓	@ ε↓	@(¬↓)P0β↓Ia(β
 @"Qπ⊃@
I∧@Hβ∀↓4xπ∪@P0αS @HαS@Xα∩`@hα∩`@hα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xαR@@xαR@@xαR`@pαR`@pαS@`β∪PPβS `0∧Sa`λα∀↓0_α∀@p(α↔ Ehα↔ Eh↓WE`α∪0`α∩`PPα∩`PHαR`@HαS@0β∪↓thε∀t("	β↓X↔
!@⊂*@jP_*@jP_)α
h'∧)P(↓@` 0&↓P_α↓	0 β`P %@`p_αA	 _∧`` %a_αA) _∧`P(%a_αA) _∧``_%@`p_%A`_&↓ @_&β	P`'C*⊂h*BJP_AjP_α↓
P_αA
P_βi@λ∧`p_%↓ `_β@i (β`p_%↓ `_β@i  β@`p_%↓p_β@I0 β``_%A`_α@i@(α`@ &A 0_↓↓)a(β
 8*@jP_*@jP_+HT ∪εCB ∩αEλβT↓∧xα@Dx↓A4pα↓Dpα↓Dpα↓Dpα↓Dpα↓Dpα↓4pα`@_∧∪@@_↓@a∀pα@@ ∧∪a(α∪`p0α∪``0α∪``0α∀@8α∪`P0α∪`P0α∪@p α∪! α∪@⊂α`DXα`@⊂α∩`0(α DPα↓ @λα∩@@0βR@@0βR@@8αA@DPα↓`P0α∩@@8β↓ DXα↓! α∩`@ α P⊂α∪↓ _¬∪!(∧∪`@Hα⊃(CxεDB βB	`p&∧I00∧↓I0 ε↓	  π↓	 (εA	 (εA	0_π↓	@λπ↓ (,A*p0+↓*P(*A
@ *↓
0 )A
0 )A
0 )A
0_*(p0∧@j ()↓* ()@hT πEC"_α 5⊂αT@U⊂αT`48βα@∃_↓T`E_α∀@E⊂α∀@E⊂α∀ Eλα∀DxαS@T`β∩`TXα∩@@p↓R@@hαR@@hαR@@pα∩`@`α∩``@β∪α$pπ∀↓∀("∧αQPF ⊂`%β)0`)A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 %¬)!(%¬(T λDBR0A!Tpπ∪aU@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α∪⊂Pα∩`0Hα∩@P8α∩@P0αRadXε∪!∧("ε#!`∩	↓0@)C
⊃(↓@`0(↓↓  'A↓@ 'A↓@ 'A↓@ 'A↓0 'A↓ ('A↓0%α @H%α 0@%α 0@'Ap('A↓⊂ 'A↓  'A↓ ('A↓0 'A↓@ 'A↓@ 'A↓@ 'A↓P 'A↓P 'A↓P 'A↓P 'A↓P 'A↓P 'A↓P 'A↓P 'A↓@ 'A@_αA	p ↓A@ 'A0 ↓A) HααI Hαα	 Hβ↓λT 
εcQH@`p@α∩a0 βRAP⊂∧R@P α @_α∩@P(βA DX↓A`P0α∃ P0α∃ P8α∃ @@α∃ @@α∃ @@α∀B4x∪#∧`β`DXαA DXα↓@DPα↓`TPα↓`TPα↓`P8α∩@@8β↓@DX↓A@p0α∩`@ α @ α∪↓0⊂¬S!(∧∪`@HαQ(AX∞π#⊃Hβ↓! 'A`P@'α 0P&A0 ↓↓  &↓P@α↓	@_βA@P %Ap0αA	0 βA@` %@a⊂ βA	  ∧Ap %↓↓⊂ βA	  ∧Ci  ∧Ci  ∧Ci  ∧A	  ∧A	  ∧A	0 βA)0 βAI0 βA@` &↓P8β↓	@ αBP &A0 ↓↓0 'α @P'A``@(↓!⊂ "QβAP∞
$↓8↓_6↓W`5pα↔@5h↓Ta⊂↓T!dxλ∪@`0β∪ PHβ∪PH∧∪@Hα DXαα@0_α∩`@H↓ADPαB 0 αR@@H↓A@DPαα 00α∩@@@↓A`DPα↓`@8α∩@@8↓BDPα↓@0Hα∩@P(↓BTXα↓0Hα∩`@ ↓B D`α@0Hα∪↓⊂@αS p@αS@`0β∪b∧xπ∪`0λ∧∪@4p↓S 4`α∪4X↓R`4X↓⊃(Ah∞π$B βE
↓((E
  ↓↓P )↓  αA
  ↓↓P )↓  αA
⊂(↓↓P (A0 (A0 (A0 (A0 (A0 (↓ 0 (↓@ (↓@ (↓@`(↓@`(↓@`'AP 'AP 'AP 'C)ph'C)` β↓	` β↓	` β↓	` β↓` '↓` β↓	` β↓` &Ap β↓	P βA` &Ap β↓	0@↓D	 P↓∧	0@↓DλT ∂εcR ∩↓"ThSβ∧Xβ↓`(α∩`@8αA DXαα@(α∩`@@α↓ DPαα @(α∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hε∩@@Hε∩@@Hε∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα↓@DPαα @0α∩`@@α↓@DXαα@0α∩`P0αA@DXβ↓`0α∪β∀h∪bd("πc↓X⊗Jα ⊂-@k0_-@jh&DIA &↓@p8%A!⊂@%A↓ _A	0 ∧@`  %A↓⊂_↓↓	  ¬`0 %↓↓⊂_α↓	  ∧@`@ %↓↓⊂_α↓	  ∧`P %↓↓_αA	  ∧`P %↓p_β↓	  β@`` %↓p_β↓	  β↓` %↓`_βA	  β`p %↓`_βA	  α@a %↓P_∧↓	  α@a %↓@_∧A	  αa⊂ %↓@_∧A	  ↓@a  %A _∧A	0 ↓a⊂ %A⊂_¬↓	0@∧A)@8βAIA &DIph'i`_'i`⊂"Q∧⊂(		∧@λ↓R@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TX↓S∀8β 4PαR@TPαR`4("β@Q⊂⊃E@⊂_%↓) (%↓)0_#A@ λ%@i (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓)0_"Q∧1P∞	∧@H↓α%⊂α↓@E⊂α↓@E⊂α↓@E⊂α↓@E⊂α↓@E⊂α↓@EλαA Uλα↓@Eλα↓@DX∩C$P
∩C%α↓@Eα↓@Eα↓@Eα↓@Eα↓@Eα↓@Eα↓@Eα↓@Eα↓@Eα↓@DP
∩C$P
∩c∧xα↓@Dxα↓@DpαA Tpα↓@Dpα↓@Dpα↓@Dpα↓@Dpα↓@Dx↓α$("	#!`↔
 @⊂πI@0¬A	@0¬A	0@∧A)0_↓a⊂ %↓  ∧↓	  ↓↓p(%↓  βA	  ↓↓`(%↓  β↓	  ↓↓` %↓  αA)0_↓`` %B` &↓@`(&↓@` '@p(+A
p +↓*` +↓
P(*A
@(*↓
@ )A*0 )A
 ()↓↓⊂(A `0(A`@(A`@(↓ `_↓j β↓  (↓` ↓↓	p(β↓  'Ap ↓↓	`(βA  '↓↓ ↓↓	` ∧@` _&A!⊂@&A↓ @&A↓00'A`⊂"Q∧pH
∧∧@_↓ST`β∪thβ∀5↓T5↓S`4x↓S@Dhα∪DPαR@DP↓⊃(B@πF%rHεjP *↓
0 )↓
⊂ (↓	p '@i` &A	P &↓	@ &i0 %A	0 %@i  %↓	  %↓	  %↓	  %↓	  %↓	0_%A	0 %A	@_&↓	@ &A	P '↓	p_'A
 (A
  )A
@(*A
`_"Q¬⊂x
e⊂λ↓∩@DXα∪Dhα∪@Dxα∀Eλ↓T E⊂α∀@E_α∀`E ↓UE α∃E(↓U E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ 5 α∃E α∃5_α∀`E⊂α∀@Eλα∀ 5α∪`Dpα∪ D`α∩`DPα∩`$("
BaPGA ⊂)A
0 )A
0 %@ p β@)  αAP %↓ @ α↓) 8↓↓ 8%A`⊂ AiQ'C
⊂@(B	p`&D	08A⊂8%↓`  ↓↓i (α↓@(%↓P αA	0λβApλ)A
0 )A
0 *HT ∃FCAH∂β%(α∃ E(α∃ E(α∃ E(α∃ E(α∃ DX∩C$P
∩c¬(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E0↓⊃(B`∧E↓`0↓@i@0%Ai0@%B	@8&AJ_'@ip_'iP %↓I (%hT ↔↓b00β@4XαR@tPβR@tXαS4("c↓X↔
"P⊂/↓` .A+P .↓+@ -A+0 -↓+  ,A+⊂ ,↓+ +A*p +A
`(+↓
P(*A
@(*↓
0()A
 ()↓
⊂((A
⊂ (↓* 'A)p '↓)` &A)P &↓)@ %A)0 %↓)  %↓	0⊂"Qπ 8	F#⊂⊂↓R`TPβR@tPβR`T`↓Qa@⊂↓R`TPβR@tPβR`T`↓Q(CX∧∧d⊃H↓@i@(%Ai08%Ai@(&@hp`↓@i@(%AI08%Ai@0&A)p_'i`_&A	@ %↓)  %HT ≡FC@h#∧P
∩C$X⊃``λ∩C$P
∩c∧("⊂β↓X∩	↓00)BJ⊂h(↓@@('A! '↓!⊂ '↓↓0_&Ap A	@ βαi@ αC	@_αA  8%AP α↓I0 α↓`(%A@ β↓)  α@a %↓@ ∧↓	  α↓↓ %↓@ ∧↓	  α↓↓ %↓@ ∧↓	  α↓↓ %↓@ ∧↓	  α@a_%A@ β↓	0 α↓` %AP α↓	@_αA  (&↓PP&↓`@&Ap '↓	`(¬A	p(∧A*0β↓*⊂x)BjP8"Q1∞E⊂λ∩B∧Pλ∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPλ∩B∧Pλ⊃(Ehλ∧EbH∧	!%∧
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` %∧	!%∧λT 0α"A∀↓`$xα∪@Thα∪DXα∩`4X↓R@4P↓R@4P↓R@dPβR`d`αS 4("∧AA_∧	⊂⊂%↓) 0%Ai@@'↓j0(A
0⊂"Qα0`B∧@H↓∀ Uβ∪@t`∧∩`tPβ∩`DX↓⊃(A 	εRλ↓↓  %↓@`0%α @%D	`P(AλT 
Eβ⊂8∩  p↓R@0p↓R@0p↓R`0`↓R`P@αSα∧hπ∀↓∧("¬BaP↓λ ↓0%¬I1("QαpP
↓D@⊂β∩a∧Pα@DP↓A4Pα@DX∧∪d("εα↓Hπ@`_(↓
 (↓*8(α
@(*A
` +↓
P )AI0h%β)0H"Qa⊂↓d@@↓∀dx∧∪!DXβ@@tPβ↓@dPαBTX↓β$("∨BAHβ	`_∧I`8αA	P@α↓)@ ↓↓  %↓ @@%↓P8%@A_"Q∂qA∧Pλ↓B4PαA@TPαA@TPαA@TX↓B4("#↓X↓D`⊃0%ε	!@%EHT εεβ2 ∩α`% α∃E α∃E α∃E α∃E α∃E α∃E α∃E α∃E α∃E α∃E α∃E α∃DX↓↓`@8↓∩@P(α↓ TXβ`@_β∪ P⊂α@Txα @λα∀↓Eλ¬∀A¬_β∃E α∃ $("αc↓X∩	↓0⊂*↓
@ )AJ @(BJ`'A⊂ A	P(↓↓ (%A@0 ↓AI (αAP(%@@p β@J@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
P⊂"QπA@
G$↓(↓↔ U`β⊗@uHβU`u(∧∃u⊂∧∀ txβS@t`βR`tPβ∩@dXβStpβS`uλβTA¬ βU!¬8βV uPβWehαW`$("∂C↓X∞H⊂⊂%↓) 0%Ai@8'↓ip@(Aj @*↓j`8+Ak⊂8-↓k@0.↓K 8,Ajp8+↓j@8)α
⊂8'B	`8&↓i08%↓I (%@HT_¬x␈␈␈␈x_↓X␈␈␈␈P␈␈␈␈hEI!@%ε	10"QA@
KE⊂λ↓∩@DPα∩@TXα∩`T`α∪Thα∪ Tpα∪@Txα∪`Uα∀Uλα∀ EλαT@E⊂αT`E_αUE αU E(αU@E0αU`E8α∃`U@α⊗UHα⊗ UPα⊗@UXα⊗`U`α↔Uhα↔ Upα↔@Ex↓⊃(G`α∧%bH@I  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %@HT =EC"p∀De8∧U!5 β∃E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀@Eβ∩A4P∧RA5β∀@E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∃E β∃!58∧V@d("∨"aP↔
 ⊂(%α) X(↓J  )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
@ *↓JPX+B*PX*↓J@ )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
  (↓I X%α)0("Q∧!⊂∧$P⊂C∀XααDPαBTPαBTPαBTXααDXααDXααDXααDXααDXααDXααDXααDXααDXααDX↓B@4X↓B@4`↓α@$("β a⊂λ	⊂ %A	0 %A	0 %A	0 %A	0 %A	0 %A	0 %A	0 %A	@⊂"Q∧↓@
E!P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P↓¬$P∩C∧(wCm⊗ 2[NFH3~,W⊂⊂⊂iU *;dε_7Y
⊗p3\l6@2[,R*→+α:≡.ε(;\M↔ 2\Dπ 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞0∨
-`
xC-*@α>fpα>fpβ␈x␈␈} ¬∨0π`@≥oG>`λ∂@↓βX↑↓H<=@!xαπ;`β _{cp∧∞w@εUO0απ`@≥o
O}`(∂@↓βX↑↓X@=@axαπ;`βA({↓cp∧∞w@π∂/0∧π`@≥o∞;}`H∂@↓βX↑↓h:=A!xαπ;`β`H{αcp∧∞w@>O0επ`@≥o_c}`h∂@↓βX↑β r=Aaxαπ;`¬( {βcp∧∞w@	≡?0λπ`@≥o∩Q≡aλ∂@↓βX↑α(?⎇B!xαπ;`εε@{∧cp∧∞w@⊂∨0
π`@≥o_&↑a(∂@↓βX↑βY⎇Baxαπ;`ε
 {¬cp∧∞w@≤∨0π`@≥o_?≡aH∂@↓βX↑α(n=C!xαπ;`∧g8{εcp∧∞w@	↑/0∞π`@≥o∪←>ah∂@↓βX↑α@∂=Caxαπ;`¬_{πcp∧∞w@
-∂0⊂π`@≥o~C>bλ∂@↓βX↑αP≡⎇D!xαπ;`εI({λcp∧∞w@
Y∨0∩π`@≥o⊃L≡b(∂@↓βX↑αX*=Daxαπ;`∧>x{	cp∧∞w@β←0∀π`@≥o⊗⊃↑bH∂@↓βX↑α`V⎇E!xαπ;`¬Q {
cp∧∞w@.␈0⊗π`@≥o⊗l↑bh∂@↓βX↑βλ@=Eaxαπ;`¬]8{cp∧∞w@=O0_π`@≥o∂*↑cλ∂@↓βX↑↓x≤⎇F!xαπ;`βxp{cp∧∞w@π}␈0~π`@≥o⊂→≡c(∂@↓βX↑αn⎇Faxαπ;`∧∀@{
cp∧∞w@λ9?0≤π`@≥o⊃	≡cH∂@↓βX↑α⊂V⎇G!xαπ;`¬eλ{∞cp∧∞w@No0≡π`@≥o→⊗>ch∂@↓βX↑αpU⎇Gaxαπ;`ε)`{∂cp∧∞w@	∪o0 π`@≥o↔1≡dλ∂@↓βX↑⊃⎇H!xαπ;`{⊂cp∧∞w@'∨0"π`@≥ol↑d(∂@↓βX↑⊂ ⎇Haxαπ;`+ {⊃cp∧∞w@c?0$π`@≥o↓i≡dH∂@↓βX↑ ≤⎇I!xαπ;`HP{∩cp∧∞w@↓≤␈0&π`@≥oα`≡dh∂@↓βX↑(n⎇Iaxαπ;`l {∪cp∧∞w@↓s∨0(π`@≥o∧
≡eλ∂@↓βX↑@K⎇J!xαπ;`↓∀⊂{∀cp∧∞w@α;∨0*π`@≥o¬∀↑e(∂@↓βX↑P[⎇Jaxαπ;`↓4`{∃cp∧∞w@α{␈0,π`@≥oε.↑eH∂@↓βX↑h ⎇K!xαπ;`↓[0{⊗cp∧∞w@n←0.π`@≥o→@>eh∂@↓βX↑αxm=Kaxαπ;`ε∩λ{↔cp∧∞w@[␈00π`@≥o_∂}fλ∂@↓βX↑p∞⎇L!xαπ;`↓g0{_cp∧∞w@β↑␈02π`@≥oπP≡f(∂@↓βX↑xa⎇Laxαπ;`α↓0{→cp∧∞w@∧
←04π`@≥oλ?↑fH∂@↓βX↑↓λA⎇M!xαπ;`α≤P{~cp∧∞w@∧F?06π`@≥o	,↑fh∂@↓βX↑↓_↓⎇Maxαπ;`α: {≠cp∧∞w@¬α?08π`@≥o
≥↑gλ∂@↓βX↑↓ ⎇⎇N!xαπ;`αX {≤cp∧∞w@¬9←0:π`@≥o
≡g(∂@↓βX↑↓0?⎇Naxαπ;`αn`{≥cp∧∞w@¬j?0<π`@≥oz↑gH∂@↓βX↑↓@$⎇O!xαπ;`β
⊂{≡cp∧∞w@y?0>π`@≥o→Y↑gh∂@↓βX↑β _=Oaxαπ;`ε∀{∨cp∧∞w@,←HεZpAw{⎇xow{⎇x